#include<stdio.h>

void HelloWorld();
void HelloPrintf();